INTERAKCIJE KONSTRUKCIJE I TLA ZA MODEL PREKONSOLIDOVANE GLINE
نویسندگان
چکیده
منابع مشابه
Model Checking TLA+ Specifications
TLA is a specification language for concurrent and reactive systems that combines the temporal logic TLA with full first-order logic and ZF set theory. TLC is a new model checker for debugging a TLA specification by checking invariance properties of a finite-state model of the specification. It accepts a subclass of TLA specifications that should include most descriptions of real system designs...
متن کاملTla in Pictures Tla in Pictures
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...
متن کاملOn TLA
We describe the Temporal Logic of Actions (TLA) from a logical perspective. After giving the syntax and semantics of TLA, we discuss some methods for representing reactive systems in TLA and study veriication rules. 1 The L in TLA The Temporal Logic of Actions (TLA) is a variant of temporal logic, designed for the speciication and veriication of reactive systems in terms of their actions. In th...
متن کاملDecepcijski i teški optimizacijski problemi za genetske algoritme
Sažetak— Genetski algoritmi (GA) predstavljaju robusnu adaptivnu metodu uspješno primijenjenu na teške optimizacijske probleme. Međutim, oni također pokazuju i neke razočaravajuće rezultate što navodi na zaključak da postoje problemi koji su genetskom algoritmu teški za riješiti. Može se definirati barem četiri razloga (neprikladan izbor domene, decepcija, dijelovi sheme ne mogu biti točno proc...
متن کاملModeli za poboljšanje performansi procesa i kvalitete proizvoda
Sažetak—Snažan razvoj telekomunikacijskog tržišta te porast konkurencije značajno utječe na pooštravanje zahtjeva na vrijeme razvoja, cijenu i kvalitetu telekomunikacijskog programskog proizvoda, a time i na sveukupno poslovanje telekomunikacijskih razvojnih kompanija. Stoga je sve veća fokusiranost na postizanje poslovne izvrsnosti kroz primjenu programa poboljšanja procesa razvoja te kvalitet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zbornik radova Građevinskog fakulteta
سال: 2014
ISSN: 0352-6852,2334-9573
DOI: 10.14415/zbornikgfs26.09